test:
        ghci Test.hs -isrc -XImpredicativeTypes -XScopedTypeVariables -XFlexibleInstances -XMultiParamTypeClasses -XTypeOperators -XKindSignatures -XGADTs -XFlexibleContexts -XViewPatterns -XRankNTypes -XTupleSections