Todd Sundsted

is used to think i'd like a programming language with advanced features locked behind switches, but after puzzling my way through another program with 10+ GHC extensions i'm not so sure... #DataKinds #FlexibleContexts #FlexibleInstances #OverloadedStrings #PolyKinds #RankNTypes #ScopedTypeVariables #TypeOperators #ConstraintKinds