Type inference for 'type level computation one step at a time'
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0