Conversation

GADT-syntax is the answer to :kind and :type data Bool :: Type where False :: Bool True :: Bool

1

7

Brendan Zabarauskas

Sadly uses a weird lookin type ascription operator! 😝

1

You can change the world! Write a proposal github.com/ghc-proposals/ to add -XSingleColon 🤪

1

1

Brendan Zabarauskas

Replying to

HAHAH! ❤️

Translate Tweet

4:53 AM · Jan 24, 2018Twitter Web Client