[00:58:50] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Quit: Leaving) [13:04:21] *** Joins: A282-Guest (~A282-Gues@103.241.226.94) [13:04:32] Hello [13:05:10] *** Quits: A282-Guest (~A282-Gues@103.241.226.94) (Client Quit) [14:45:28] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) [14:46:00] will someone please explain how the :forall a . tree a" with pgf works [14:46:58] like when i have the following : [14:46:59] flattenOuter :: forall a . Tree a -> Tree a [14:46:59] flattenOuter (GListCommands xs) = _ -- GListCommand (fmap flattenOuter xs) [14:47:07] i get the following [14:47:08] • Found hole: _ :: Tree GCommands_ [14:49:21] i get the error with the following [14:49:21] flattenOuter :: forall a . Tree a -> Tree a [14:49:21] flattenOuter (GListCommands xs) = GGo -- GListCommand (fmap flattenOuter xs) [14:49:21] flattenOuter GGo = GGo [14:49:21] flattenOuter x = x [14:49:45] • Couldn't match type ‘GAction_’ with ‘GListCommands_’ [14:49:45] Expected type: Tree a [14:49:45] Actual type: Tree GAction_ [14:51:04] yet this seems to work for other times ive used pgf, and i have no idea where in the pipeline of running my make file on pgf, i get this error [14:51:17] because things with this polymorphic tree type in my old code seem to work [15:03:28] also, how does the composeop with almost compositional functions get imported [17:09:43] so I'm realizing that maybe this is just an ill-typed function [17:58:26] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection) [17:58:50] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) [18:00:26] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection) [18:01:11] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) [18:02:01] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection) [20:02:26] *** Joins: Lycurgus (~juan@98.4.112.204) [22:18:24] *** Quits: Lycurgus (~juan@98.4.112.204) (Quit: Exeunt)