Add note about non-temrinating cyclic imports
Minor refactoring with <$>