cmptype-0.1.0.0: test/Main.hs

module Main where

import ShouldTypecheck ()
import ShouldNotTypecheck

main :: IO ()
main = testStuckInstances