module Main where

import ShouldTypecheck ()
import ShouldNotTypecheck

main :: IO ()
main = testStuckInstances