1 2 3 4 5 6
{-# LANGUAGE DataKinds #-} {-# LANGUAGE NoMonomorphismRestriction #-} module T8455 where ty = [t| 5 |]