Избегание круговой ссылки в Python по типу намека на классы, ссылающиеся друг на друга [duplicate]

Котировки используются для различения конструкторов типового типа по сравнению с конструкторами уровня уровня продвигаемых типов.

Например:

{-# LANGUAGE DataKinds #-}

data Which = One | Two

myPick :: Which -- Type
myPick = One

type MyPick :: Which -- Kind
type MyPick = 'One

Кстати, аннотация вида вида type MyPick :: Which недействителен Haskell, но он дает вам представление о соответствии между термином и уровнем типа. Самое близкое, что вам нужно для этого, необходимо включить другое расширение:

{-# LANGUAGE TypeFamilies #-}

type family MyPick :: Which where
  MyPick = 'One