← All posts tagged например

fmap
ghc например Как довести ghc до уффкающего состояния:

type family (Loop x) :: [*]
type instance Loop x = Loop x

type family Head (xs :: [*])
type instance Head (x ': xs) = x

{-
> :t undefined :: Head (Loop Int)
undefined :: Head (Loop Int) :: Head uf
-}