getClasses :: Env -> Type -> IOThrowsError [(Index, IORef AtomoVal)]
getClasses [] _ = return []
getClasses :: Env -> Type -> IOThrowsError [(Index, IORef AtomoVal)]
getClasses [] _ = return []
getClasses [] _ = return []