path: root/testsuite/tests/typecheck/should_fail/T14055.hs

{-# LANGUAGE DataKinds, TypeFamilies #-}

newtype X = RollX (() -> X)

type family F t :: X where
    F t = RollX (t -> ())