У меня есть этот заведомо надуманный кусок кода {-# LANGUAGE DataKinds, TypeFamilies #-} data Foo =...