Convert RCategory.lhs to RCategory.hs.