Comparing behaviour of exprType and typeKind.
Small programs for checking the type and kind of a string given a list of imports; failure is indicated by a GHC error.