Author Anonymous
 Title (undefined)
 Created at Sun Apr 12 14:16:14 UTC 2015
 Parent paste  #2512
{-# LANGUAGE NoMonomorphismRestriction #-}

import Diagrams.Prelude
import Diagrams.Backend.SVG.CmdLine

example = pad 1.1 $ (circle 1 :: Diagram B R2) ||| circle 1 === circle 1
Result
Warning
Top-level binding with no type signature:
example :: QDiagram B R2 Any