Could someone please talk me through how to load and typecheck a module using the agda package from hackage please.<br>