free-theorems-seq-1.0: Taming Selective Strictness
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
translate :: Typ -> TypeExpressionSource