T9071.hs 131 Bytes
Newer Older
1
2
3
4
5
6
7
8
{-# LANGUAGE DeriveFunctor #-}
module T9071 where

import T9071a

newtype K a b = K a
newtype F a = F (Mu (K a)) deriving Functor