Dad_jack@Iceland_jack·Jan 23, 2018GADT-syntax is the answer to :kind and :type data Bool :: Type where False :: Bool True :: Bool17
Brendan Zabarauskas@brendanzabSadly uses a weird lookin type ascription operator! 😝2:59 AM · Jan 24, 2018·Twitter Web Client
Dad_jack@Iceland_jack·Jan 24, 2018Replying to @brendanzabYou can change the world! Write a proposal https://github.com/ghc-proposals/ghc-proposals… to add -XSingleColon 🤪11
