Фантомный тип » а » — это переменная жесткого типа

#haskell Вопрос: {-# LANGUAGE EmptyDataDecls #-} module Main where main :: IO () main = pure () data P a = P Int data D1 data D2 class C a…