1 2 3 4 5 6
Proxy _ :: * Proxy (Maybe :: _) :: * Dependent _ :: w -> * Proxy _ :: * Proxy (Maybe :: _) :: * Dependent _ :: w -> *