path: root/testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.hs

{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE GADTs #-}
module ExtraConstraints2 where

foo :: _ => String
foo = "x"

-- No extra constraints