{-# LANGUAGE FlexibleInstances #-}

module Unconstrained where

class Unconstrained1 a
instance Unconstrained1 a