-- | Checks that argument types in a context are well typed.
checkContext :: Context -> Context -> Either Error ()
checkContext Star _ = return ()
checkContext :: Context -> Context -> Either Error ()
checkContext Star _ = return ()
checkContext Star _ = return ()