Add Utils
commit47ca50e08343d5f2ba5f6a411ee8671c89e87dcc
authorDenis Redozubov <denis.redozubov@gmail.com>
dateMon 22 May 2017, 17:25 (9 years ago)
parent3b0f258
src/Data/Schematic/Utils.hs−3
@@ -32,6 +32,3 @@ instance Known (Rec Sing '[]) where
3232
3333instance (Known (Sing a), Known (Rec Sing tl)) => Known (Rec Sing (a ': tl)) where
3434 known = known :& known
35−
36−data Dict c where
37− Dict :: c => Dict c