The error I got is • Couldn't match type ‘ResizableTall’ with ‘ResizableTall'’ Expected: ResizableTall' a Actual: ResizableTall a • In the first argument of ‘doLayout’, namely ‘inner’ In the expression: doLayout inner r In an equation for ‘doLayout’: doLayout (ResizableTall' inner) r = doLayout inner r | 13 | doLayout (ResizableTall' inner) r = doLayout inner r | ^^^^^