diff --git a/fay-jquery.cabal b/fay-jquery.cabal
--- a/fay-jquery.cabal
+++ b/fay-jquery.cabal
@@ -1,5 +1,5 @@
 name:                fay-jquery
-version:             0.2.1.0
+version:             0.3.0.0
 synopsis:            jQuery binding.
 description:         jQuery binding.
 homepage:            https://github.com/faylang/fay-jquery
@@ -11,9 +11,9 @@
 copyright:           Adam Bergmark, Brian Victor, Chris Done
 build-type:          Simple
 cabal-version:       >=1.8
-data-files: src/Language/Fay/JQuery.hs
+data-files: src/JQuery.hs
 
 library
   hs-source-dirs: src
-  exposed-modules: Language.Fay.JQuery
+  exposed-modules: JQuery
   build-depends: fay-base >= 0.14.1.0
diff --git a/src/JQuery.hs b/src/JQuery.hs
new file mode 100644
--- /dev/null
+++ b/src/JQuery.hs
@@ -0,0 +1,1066 @@
+{-# LANGUAGE EmptyDataDecls    #-}
+{-# LANGUAGE RankNTypes        #-}
+
+module JQuery where
+
+{--
+Note that this is very much in flux. Function names, type signatures, and
+data types all subject to drastic change.
+--}
+
+import           FFI
+import           Prelude
+
+data JQuery
+
+data JQXHR
+
+type EventType = String
+
+type Selector = String
+
+
+-- Things that should go in fay or fay-dom
+data Element
+
+data Document
+
+data Window
+
+data Object
+
+emptyCallback :: a -> Fay ()
+emptyCallback = const $ return ()
+
+----
+---- Ajax
+----
+
+ajax :: String
+     -> (Automatic b -> Fay ())
+     -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
+     -> Fay ()
+ajax ur succ err = ajax' $ defaultAjaxSettings
+  { success = Defined succ
+  , data' = Undefined :: Defined String -- hackety hack
+  , error' = Defined err
+  , url = Defined ur }
+
+-- | Serializes the given object to JSON and passes it as the request body without request parameters.
+--   The response is deserialized depending on its type.
+ajaxPost :: String
+         -> Automatic f
+         -> (Automatic g -> Fay ())
+         -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
+         -> Fay ()
+ajaxPost ur dat succ err = ajax' $ defaultAjaxSettings
+  { success = Defined succ
+  , data' = Defined dat
+  , error' = Defined err
+  , url = Defined ur
+  , type' = Defined "POST"
+  , processData = Defined False
+  , contentType = Defined "text/json"
+  , dataType = Defined "json"
+  }
+
+-- | Same as ajaxPost but sends the data inside the given request parameter
+ajaxPostParam :: String
+              -> String
+              -> Automatic f
+              -> (Automatic g -> Fay ())
+              -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
+              -> Fay ()
+ajaxPostParam ur rqparam dat succ err = ajax' $ defaultAjaxSettings
+  { success = Defined succ
+  , data' = Defined $ makeRqObj rqparam dat
+  , error' = Defined err
+  , url = Defined ur
+  , type' = Defined "POST"
+  , processData = Defined False
+  , contentType = Defined "text/json"
+  , dataType = Defined "json"
+  }
+
+makeRqObj :: String -> a -> Object
+makeRqObj = ffi "(function () { var o = {}; o[%1] = %2; return o; })()"
+
+data AjaxSettings a b = AjaxSettings
+  { accepts     :: Defined String
+  , async       :: Defined Bool
+  , beforeSend  :: Defined (JQXHR -> AjaxSettings a b -> Fay ())
+  , cache       :: Defined Bool
+  , complete    :: Defined (JQXHR -> String -> Fay ())
+  -- , contents :: Defined (Object RegExp) -- skipped
+  , contentType :: Defined String
+  -- , context :: Defined Object -- skipped
+  -- , converters :: Defined (Object Value) -- skipped
+  , crossDomain :: Defined Bool
+  , data'       :: Defined a
+  -- , dataFilter  :: Defined (Data -> Type -> Fay ()) -- skipped
+  , dataType    :: Defined String
+  , error'      :: Defined (JQXHR -> Maybe String -> Maybe String -> Fay ())
+  , global      :: Defined Bool
+  -- , headers :: Object String -- need generic objects
+  , ifModified  :: Defined Bool
+  , isLocal     :: Defined Bool
+  -- , jsonp -- skipped
+  -- , jsonpCallback -- skipped
+  , mimeType    :: Defined String
+  , password    :: Defined String
+  , processData :: Defined Bool
+  -- , scriptCharset -- skipped
+  -- , statusCode -- skipped
+  , success     :: Defined (b -> Fay ())
+  , timeout     :: Defined Double
+  -- , traditional -- skipped
+  , type'       :: Defined String
+  , url         :: Defined String
+  , username    :: Defined String
+  -- , xhr :: XHR -- XHR needs to be added to fay-dom
+  }
+
+defaultAjaxSettings :: AjaxSettings a b
+defaultAjaxSettings = AjaxSettings
+  { accepts     = Undefined
+  , async       = Undefined
+  , beforeSend  = Undefined
+  , cache       = Undefined
+  , complete    = Undefined
+  , contentType = Undefined
+  , crossDomain = Undefined
+  , data'       = Undefined
+  , dataType    = Undefined
+  , error'      = Undefined
+  , global      = Undefined
+  , ifModified  = Undefined
+  , isLocal     = Undefined
+  , mimeType    = Undefined
+  , password    = Undefined
+  , processData = Undefined
+  , success     = Undefined
+  , timeout     = Undefined
+  , type'       = Undefined
+  , url         = Undefined
+  , username    = Undefined
+  }
+
+ajax' :: AjaxSettings (Automatic a) (Automatic b) -> Fay ()
+ajax' = ffi "\
+  \ (function (o) { \
+    \ delete o['instance']; \
+    \ for (var p in o) { \
+      \ if (/\\$39\\$/.test(p)) { \
+        \ o[p.replace(/\\$39\\$/g, '')] = o[p]; \
+        \ delete o[p]; \
+      \ } \
+    \ } \
+    \ console.log(o); \
+    \ return jQuery.ajax(o); \
+  \ })(%1)"
+
+----
+---- Attributes
+----
+
+addClass :: String -> JQuery -> Fay JQuery
+addClass = ffi "%2['addClass'](%1)"
+
+-- FIXME: https://github.com/chrisdone/fay/issues/38
+addClassWith :: (Double -> String -> Fay String) -> JQuery -> Fay JQuery
+addClassWith = ffi "%2['addClass'](%1)"
+
+getAttr :: String -> JQuery -> Fay String
+getAttr = ffi "%2['attr'](%1)"
+
+setAttr :: String -> String -> JQuery -> Fay JQuery
+setAttr = ffi "%3['attr'](%1, %2)"
+
+-- TODO: setAttrs with map
+
+setAttrWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
+setAttrWith = ffi "%3['attr'](%1, %2)"
+
+hasClass :: String -> JQuery -> Fay Bool
+hasClass = ffi "%2['hasClass'](%1)"
+
+getHtml :: JQuery -> Fay String
+getHtml = ffi "%1['html']()"
+
+setHtml :: String -> JQuery -> Fay JQuery
+setHtml = ffi "%2['html'](%1)"
+
+setHtmlWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
+setHtmlWith = ffi "%2['html'](%1)"
+
+-- TODO: html with props
+
+getProp :: String -> JQuery -> Fay String
+getProp = ffi "%2['prop'](%1)"
+
+setProp :: String -> String -> JQuery -> Fay JQuery
+setProp = ffi "%3['prop'](%1, %2)"
+
+-- TODO: setProp with map
+
+setPropWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
+setPropWith = ffi "%3['prop'](%1, %2)"
+
+removeAttr :: String -> JQuery -> Fay JQuery
+removeAttr = ffi "%2['removeAttr'](%1)"
+
+removeClass :: String -> JQuery -> Fay JQuery
+removeClass = ffi "%2['removeClass'](%1)"
+
+removeClassWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
+removeClassWith = ffi "%2['removeClass'](%1)"
+
+removeProp :: String -> JQuery -> Fay JQuery
+removeProp = ffi "%2['removeProp'](%1)"
+
+toggleClass :: String -> JQuery -> Fay JQuery
+toggleClass = ffi "%2['toggleClass'](%1)"
+
+toggleClassBool :: String -> Bool -> JQuery -> Fay JQuery
+toggleClassBool = ffi "%3['toggleClass'](%1, %2)"
+
+toggleAllClasses :: Bool -> JQuery -> Fay JQuery
+toggleAllClasses = ffi "%2['toggleClass'](%1)"
+
+toggleClassWith :: (Double -> String -> Bool -> Fay JQuery) -> JQuery -> Fay JQuery
+toggleClassWith = ffi "%2['toggleClass'](%1)"
+
+toggleClassBoolWith :: (Double -> String -> Bool -> Fay JQuery) -> Bool -> JQuery -> Fay JQuery
+toggleClassBoolWith = ffi "%3['toggleClass'](%1, %2)"
+
+getVal :: JQuery -> Fay String
+getVal = ffi "%1['val']()"
+
+setVal :: String -> JQuery -> Fay JQuery
+setVal = ffi "%2['val'](%1)"
+
+setValWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
+setValWith = ffi "%2['val'](%1)"
+
+setText :: String -> JQuery -> Fay JQuery
+setText = ffi "%2['text'](%1)"
+
+setTextWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
+setTextWith = ffi "%2['text'](%1)"
+
+getText :: JQuery -> Fay String
+getText = ffi "%1['text']()"
+
+----
+---- Core
+----
+
+holdReady :: Bool -> Fay JQuery
+holdReady = ffi "jQuery['holdReady'](%1)"
+
+-- jQuery()
+selectElement :: Element -> Fay JQuery
+selectElement = ffi "jQuery(%1)"
+
+selectObject :: a -> Fay JQuery
+selectObject = ffi "jQuery(%1)"
+
+select :: String -> Fay JQuery
+select = ffi "jQuery(%1)"
+
+selectEmpty :: Fay JQuery
+selectEmpty = ffi "jQuery()"
+
+createJQuery :: String -> a -> Fay JQuery
+createJQuery = ffi "jQuery(%1, %2)"
+
+ready :: Fay () -> Fay ()
+ready = ffi "jQuery(%1)"
+-- end jQuery()
+
+-- is noConflict useful in the context of Fay?
+noConflict :: Fay JQuery
+noConflict = ffi "jQuery['noConflict']()"
+
+noConflictBool :: Bool -> Fay JQuery
+noConflictBool = ffi "jQuery['noConflict'](%1)"
+
+-- TODO: jQuery['sub']()
+
+-- TODO: jQuery['when'](): figure out Deferred first
+
+----
+---- CSS
+----
+
+getCss :: String -> JQuery -> Fay String
+getCss = ffi "%2['css'](%1)"
+
+setCss :: String -> String -> JQuery -> Fay JQuery
+setCss = ffi "%3['css'](%1, %2)"
+
+setCssWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
+setCssWith = ffi "%3['css'](%1, %2)"
+
+getHeight :: JQuery -> Fay Double
+getHeight = ffi "%1['height']()"
+
+setHeight :: Double -> JQuery -> Fay JQuery
+setHeight = ffi "%2['height'](%1)"
+
+setHeightWith :: (Double -> Double -> Fay Double) -> JQuery -> Fay JQuery
+setHeightWith = ffi "%2['height'](%1)"
+
+getInnerHeight :: JQuery -> Fay Double
+getInnerHeight = ffi "%1['innerHeight']()"
+
+getInnerWidth :: JQuery -> Fay Double
+getInnerWidth = ffi "%1['innerWidth']()"
+
+-- TODO: figure out how to marshal coordinates
+--getOffset :: JQuery -> Fay
+--getOffset = ffi "%1['offset']()"
+
+--setOffset
+--setOffsetWith
+
+-- TODO: css with map
+
+-- TODO: cssHooks
+
+getOuterHeight :: JQuery -> Fay Double
+getOuterHeight = ffi "%1['outerHeight']()"
+
+-- FIXME: better name
+getOuterHeightBool :: Bool -> JQuery -> Fay Double
+getOuterHeightBool = ffi "%2['outerHeight'](%1)"
+
+getOuterWidth :: JQuery -> Fay Double
+getOuterWidth = ffi "%1['outerWidth']()"
+
+getOuterWidthBool :: Bool -> JQuery -> Fay Double
+getOuterWidthBool = ffi "%2['outerWidth'](%1)"
+
+-- TODO: marshal coordinates as in offset()
+-- getPosition
+
+getScrollLeft :: JQuery -> Fay Double
+getScrollLeft = ffi "%1['scrollLeft']()"
+
+setScrollLeft :: Double -> JQuery -> Fay JQuery
+setScrollLeft = ffi "%2['scrollLeft'](%1)"
+
+getScrollTop :: JQuery -> Fay Double
+getScrollTop = ffi "%1['scrollTop']()"
+
+setScrollTop :: Double -> JQuery -> Fay JQuery
+setScrollTop = ffi "%2['scrollTop'](%1)"
+
+getWidth :: JQuery -> Fay Double
+getWidth = ffi "%1['width']()"
+
+setWidth :: Double -> JQuery -> Fay JQuery
+setWidth = ffi "%2['width'](%1)"
+
+setWidthWith :: (Double -> Double -> Fay Double) -> JQuery -> Fay JQuery
+setWidthWith = ffi "%2['width'](%1)"
+
+
+----
+---- Data
+----
+
+----
+---- Deferred Object
+----
+
+----
+---- Effects
+----
+
+--
+-- Basics
+--
+
+data AnimationType = Show | Hide | Toggle | FadeIn | FadeOut | FadeToggle
+
+data Speed = Instantly | Slow | Fast | Speed Double
+
+data Animation = Animation
+  { _type :: AnimationType
+  , _speed :: Speed
+  , _nextAnimation :: Maybe Animation
+  , _element :: JQuery
+  }
+
+anim :: AnimationType -> JQuery -> Animation
+anim ty el = Animation ty Fast Nothing el
+
+speed :: Speed -> Animation -> Animation
+speed spd anim = anim { _speed = spd }
+
+chainAnim :: Animation -> Animation -> Animation
+chainAnim a1 a2 = a1 { _nextAnimation = Just a2 }
+
+chainAnims :: [Animation] -> Animation
+chainAnims [a] = a
+chainAnims (a:as) = a `chainAnim` chainAnims as
+
+runAnimation :: Animation -> Fay ()
+runAnimation a = do
+  animate (_type a) (_speed a) cb (_element a) >> return ()
+    where
+      cb = case _nextAnimation a of
+                Just a2 -> const (runAnimation a2)
+                Nothing -> const (return ())
+
+animate :: AnimationType -> Speed -> (JQuery -> Fay ()) -> JQuery -> Fay JQuery
+animate = ffi "%4[(function () { \
+      \ switch (%1['instance']) { \
+        \ case 'FadeIn': return 'fadeIn'; \
+        \ case 'FadeOut': return 'fadeOut'; \
+        \ case 'FadeToggle': return 'fadeToggle'; \
+        \ default: return %1['instance']['toLowerCase'](); \
+      \ } \
+    \ })()]((function () { \
+    \ if (%2['instance'] == 'Slow') { \
+      \ return 'slow'; \
+    \ } else if (%2['instance'] == 'Instantly') { \
+      \ return null; \
+    \ } else if (%2['instance'] == 'Fast') { \
+      \ return 'fast'; \
+    \ } else { \
+      \ return %2['slot1']; \
+    \ } \
+  \ })(), function() { \
+     \ %3(jQuery(this)); \
+  \ })"
+
+hide :: Speed -> JQuery -> Fay JQuery
+hide spd = animate Hide spd emptyCallback
+
+unhide :: JQuery -> Fay JQuery
+unhide = ffi "%1['show']()"
+
+jshow :: Speed -> JQuery -> Fay JQuery
+jshow spd = animate Show spd emptyCallback
+
+toggle :: Speed -> JQuery -> Fay JQuery
+toggle spd = animate Toggle spd emptyCallback
+
+--
+-- Fading
+--
+
+fadeIn :: Speed -> JQuery -> Fay JQuery
+fadeIn spd = animate FadeIn spd emptyCallback
+
+fadeOut :: Speed -> JQuery -> Fay JQuery
+fadeOut spd = animate FadeOut spd emptyCallback
+
+-- TODO fadeTo
+
+fadeToggle :: Speed -> JQuery -> Fay JQuery
+fadeToggle spd = animate FadeToggle spd emptyCallback
+
+----
+---- Events
+----
+
+--
+-- Browser Events
+--
+
+-- Skip error(), deprecated
+
+resize :: (Event -> Fay ()) -> JQuery -> Fay ()
+resize = ffi "%2['resize'](%1)"
+
+scroll :: (Event -> Fay ()) -> JQuery -> Fay ()
+scroll = ffi "%2['scroll'](%1)"
+
+--
+-- Document Loading
+--
+
+load :: (Event -> Fay()) -> JQuery -> Fay ()
+load = ffi "%2['load'](%1)"
+
+documentReady :: (Event -> Fay ()) -> Document -> Fay ()
+documentReady = ffi "jQuery(%2)['ready'](%1)"
+
+unload :: (Event -> Fay()) -> Window -> Fay ()
+unload = ffi "jQuery(%2)['unload'](%1)"
+
+--
+-- Mouse Events
+--
+
+click :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+click = ffi "%2['click'](%1)"
+
+dblclick :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+dblclick = ffi "%2['dblclick'](%1)"
+
+focusin :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+focusin = ffi "%2['focusin'](%1)"
+
+focusout :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+focusout = ffi "%2['focusout'](%1)"
+
+hover :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+hover = ffi "%2['hover'](%1)"
+
+mousedown :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mousedown = ffi "%2['mousedown'](%1)"
+
+mouseenter :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mouseenter = ffi "%2['mouseenter'](%1)"
+
+mouseleave :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mouseleave = ffi "%2['mouseleave'](%1)"
+
+mousemove :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mousemove = ffi "%2['mousemove'](%1)"
+
+mouseout :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mouseout = ffi "%2['mouseout'](%1)"
+
+mouseover :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mouseover = ffi "%2['mouseover'](%1)"
+
+mouseup :: (Event -> Fay ()) -> JQuery -> Fay JQuery
+mouseup = ffi "%2['mouseup'](%1)"
+
+-- Argument splat since an arbitrary number of events can be attached.
+-- `toggle` in jQuery but clashes with the `toggle` animation.
+toggleEvents :: [Event -> Fay ()] -> JQuery -> Fay ()
+toggleEvents = ffi "%2['toggle']['apply'](%2, %1)"
+
+
+--
+-- Event Handler Attachment
+--
+
+bind :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
+bind = ffi "%3['bind'](%1, %2)"
+
+bindPreventBubble :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
+bindPreventBubble = ffi "%3['bind'](%1,%2,false)"
+
+-- delegate() superceeded by on()
+-- die() deprecated
+-- live() deprecated
+-- off() TODO how should this be handled?
+
+on :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
+on = ffi "%3['on'](%1, %2)"
+
+onDelegate :: EventType -> Selector -> (Event -> Fay()) -> JQuery -> Fay ()
+onDelegate = ffi "%4['on'](%1,%2,%3)"
+
+one :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
+one = ffi "%3['one'](%1, %2)"
+
+trigger :: EventType -> JQuery -> Fay ()
+trigger = ffi "%2['trigger'](%1)"
+
+triggerHandler :: EventType -> JQuery -> Fay ()
+triggerHandler = ffi "%2['triggerHandler'](%1)"
+
+
+-- unbind() not useful in Fay?
+-- undelegate() not useful in Fay?
+
+--
+-- Event Object
+--
+
+-- event.data skipped
+
+data Event
+
+delegateTarget :: Event -> Fay Element
+delegateTarget = ffi "jQuery(%1['delegateTarget'])"
+
+isDefaultPrevented :: Event -> Fay Bool
+isDefaultPrevented = ffi "%1['isDefaultPrevented']()"
+
+isImmediatePropagationStopped :: Event -> Fay Bool
+isImmediatePropagationStopped = ffi "%1['isImmediatePropagationStopped']()"
+
+isPropagationStopped :: Event -> Fay Element
+isPropagationStopped = ffi "%1['isPropagationStopped']()"
+
+namespace :: Event -> Fay String
+namespace = ffi "%1['namespace']"
+
+pageX :: Event -> Fay Double
+pageX = ffi "%1['pageX']"
+
+pageY :: Event -> Fay Double
+pageY = ffi "%1['pageY']"
+
+preventDefault :: Event -> Fay ()
+preventDefault = ffi "%1['preventDefault']()"
+
+target :: Event -> Fay Element
+target = ffi "%1['target']"
+
+timeStamp :: Event -> Fay Double
+timeStamp = ffi "%1['timeStamp']"
+
+eventType :: Event -> Fay String
+eventType = ffi "%1['type']"
+
+which :: Event -> Fay Int
+which = ffi "%1['which']"
+
+--
+-- Form Events
+--
+
+blur :: (Event -> Fay ()) -> JQuery -> Fay ()
+blur = ffi "%2['blur'](%1)"
+
+change :: (Event -> Fay ()) -> JQuery -> Fay ()
+change = ffi "%2['change'](%1)"
+
+onFocus :: (Event -> Fay ()) -> JQuery -> Fay ()
+onFocus = ffi "%2['focus'](%1)"
+
+focus :: JQuery -> Fay JQuery
+focus = ffi "%1['focus']()"
+
+-- TODO `select` would clash with the other select definition, should it be renamed?
+onselect :: (Event -> Fay ()) -> JQuery -> Fay ()
+onselect = ffi "%2['select'](%1)"
+
+submit  :: (Event -> Fay ()) -> JQuery -> Fay ()
+submit = ffi "%2['submit'](%1)"
+
+--
+-- Keyboard Events
+--
+
+keydown :: (Event -> Fay ()) -> JQuery -> Fay ()
+keydown = ffi "%2['keydown'](%1)"
+
+keypress :: (Event -> Fay ()) -> JQuery -> Fay ()
+keypress = ffi "%2['keypress'](%1)"
+
+keyup :: (Event -> Fay ()) -> JQuery -> Fay ()
+keyup = ffi "%2['keyup'](%1)"
+
+----
+---- Forms
+----
+
+----
+---- Internals
+----
+
+----
+---- Manipulation
+----
+
+-- Is there a better way to constrain the type here?
+after :: a -> JQuery -> Fay JQuery
+after = ffi "%2['after'](%1)"
+
+afterWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
+afterWith = ffi "%2['after'](%1)"
+
+append :: a -> JQuery -> Fay JQuery
+append = ffi "%2['append'](%1)"
+
+appendJQuery :: JQuery -> JQuery -> Fay JQuery
+appendJQuery = ffi "%2['append'](%1)"
+
+
+appendWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
+appendWith = ffi "%2['append'](%1)"
+
+appendTo :: a -> JQuery -> Fay JQuery
+appendTo = ffi "%2['appendTo'](%1)"
+
+appendToJQuery :: JQuery -> JQuery -> Fay JQuery
+appendToJQuery = ffi "%2['appendTo'](%1)"
+
+
+
+before :: a -> JQuery -> Fay JQuery
+before = ffi "%2['before'](%1)"
+
+beforeWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
+beforeWith = ffi "%2['before'](%1)"
+
+data CloneType = WithoutDataAndEvents | WithDataAndEvents | DeepWithDataAndEvents
+
+clone :: CloneType -> JQuery -> Fay JQuery
+clone WithoutDataAndEvents  = ffi "%2['clone'](false)"
+clone WithDataAndEvents     = ffi "%2['clone'](true, false)"
+clone DeepWithDataAndEvents = ffi "%2['clone'](true, true)"
+
+detach :: JQuery -> Fay JQuery
+detach = ffi "%1['detach']()"
+
+detachSelector :: String -> JQuery -> Fay JQuery
+detachSelector = ffi "%2['detach'](%1)"
+
+empty :: JQuery -> Fay JQuery
+empty = ffi "%1['empty']()"
+
+insertAfter :: a -> JQuery -> Fay JQuery
+insertAfter = ffi "%2['insertAfter'](%1)"
+
+insertBefore :: a -> JQuery -> Fay JQuery
+insertBefore = ffi "%2['insertBefore'](%1)"
+
+prepend :: a -> JQuery -> Fay JQuery
+prepend = ffi "%2['prepend'](%1)"
+
+prependWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
+prependWith = ffi "%2['prepend'](%1)"
+
+prependTo :: a -> JQuery -> Fay JQuery
+prependTo = ffi "%2['prependTo'](%1)"
+
+remove :: JQuery -> Fay JQuery
+remove = ffi "%1['remove']()"
+
+removeSelector :: String -> JQuery -> Fay JQuery
+removeSelector = ffi "%2['remove'](%1)"
+
+replaceAll :: String -> JQuery -> Fay JQuery
+replaceAll = ffi "%2['replaceAll'](%1)"
+
+-- FIXME: create other forms of replaceWith
+replaceWith :: String -> JQuery -> Fay JQuery
+replaceWith = ffi "%2['replaceWith'](%1)"
+
+replaceWithJQuery :: JQuery -> JQuery -> Fay JQuery
+replaceWithJQuery = ffi "%2['replaceWith'](%1)"
+
+-- FIXME: this name matches convention, but it's kind of silly
+replaceWithWith :: (Fay JQuery) -> JQuery -> Fay JQuery
+replaceWithWith = ffi "%2['replaceWith'](%1)"
+
+unwrap :: JQuery -> Fay JQuery
+unwrap = ffi "%1['unwrap']()"
+
+-- FIXME: create other forms of wrap
+wrap :: String -> JQuery -> Fay JQuery
+wrap = ffi "%2['wrap'](%1)"
+
+wrapWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
+wrapWith = ffi "%2['wrap'](%1)"
+
+wrapAllHtml :: String -> JQuery -> Fay JQuery
+wrapAllHtml = ffi "%2['wrapAll'](%1)"
+
+wrapAllSelector :: String -> JQuery -> Fay JQuery
+wrapAllSelector = ffi "%2['wrapAll'](%1)"
+
+wrapAllElement :: Element -> JQuery -> Fay JQuery
+wrapAllElement = ffi "%2['wrapAll'](%1)"
+
+wrapInnerHtml :: String -> JQuery -> Fay JQuery
+wrapInnerHtml = ffi "%2['wrapInner'](%1)"
+
+wrapInnerSelector :: String -> JQuery -> Fay JQuery
+wrapInnerSelector = ffi "%2['wrapInner'](%1)"
+
+wrapInnerElement :: Element -> JQuery -> Fay JQuery
+wrapInnerElement = ffi "%2['wrapInner'](%1)"
+
+
+----
+---- Miscellaneous
+----
+
+----
+---- Offset
+----
+
+----
+---- Plugins
+----
+
+----
+---- Properties
+----
+
+----
+---- Selectors
+----
+
+----
+---- Traversing
+----
+
+-- TODO: unify these under a typeclass?
+addSelector :: String -> JQuery -> Fay JQuery
+addSelector = ffi "%2['add'](%1)"
+
+addElement :: Element -> JQuery -> Fay JQuery
+addElement = ffi "%2['add'](%1)"
+
+addHtml :: String -> JQuery -> Fay JQuery
+addHtml = ffi "%2['add'](%1)"
+
+add :: JQuery -> JQuery -> Fay JQuery
+add = ffi "%2['add'](%1)"
+
+addSelectorWithContext :: String -> JQuery -> JQuery -> Fay JQuery
+addSelectorWithContext = ffi "%3['add'](%1, %2)"
+
+andSelf :: JQuery -> Fay JQuery
+andSelf = ffi "%1['andSelf']()"
+
+children :: JQuery -> Fay JQuery
+children = ffi "%1['children']()"
+
+childrenMatching :: String -> JQuery -> Fay JQuery
+childrenMatching = ffi "%2['children'](%1)"
+
+closestSelector :: String -> JQuery -> Fay JQuery
+closestSelector = ffi "%2['closest'](%1)"
+
+-- TODO: is context really a string?
+closestWithContext :: String -> String -> JQuery -> Fay JQuery
+closestWithContext = ffi "%3['closest'](%1, %2)"
+
+closest :: JQuery -> JQuery -> Fay JQuery
+closest = ffi "%2['closest'](%1)"
+
+closestElement :: Element -> JQuery -> Fay JQuery
+closestElement = ffi "%2['closest'](%1)"
+
+-- TODO: include deprecated array-based signature?
+
+contents :: JQuery -> Fay JQuery
+contents = ffi "%1['contents']()"
+
+-- This just isn't cool[' Can']'t we all just use map?
+each :: (Double -> Element -> Fay Bool) -> JQuery -> Fay JQuery
+each = ffi "%2['each'](%1)"
+
+end :: JQuery -> Fay JQuery
+end = ffi "%1['end']()"
+
+eq :: Double -> JQuery -> Fay JQuery
+eq = ffi "%2['eq'](%1)"
+
+filter :: String -> JQuery -> Fay JQuery
+filter = ffi "%2['filter'](%1)"
+
+filterWith :: (Double -> Fay Bool) -> JQuery -> Fay JQuery
+filterWith = ffi "%2['filter'](%1)"
+
+filterElement :: Element -> JQuery -> Fay JQuery
+filterElement = ffi "%2['filter'](%1)"
+
+filterJQuery :: JQuery -> JQuery -> Fay JQuery
+filterJQuery = ffi "%2['filter'](%1)"
+
+-- FIXME: not called find because Fay doesn't seem to deal well with name conflicts yet
+findSelector :: String -> JQuery -> Fay JQuery
+findSelector = ffi "%2['find'](%1)"
+
+findJQuery :: JQuery -> JQuery -> Fay JQuery
+findJQuery = ffi "%2['find'](%1)"
+
+findElement :: Element -> JQuery -> Fay JQuery
+findElement = ffi "%2['find'](%1)"
+
+first :: JQuery -> Fay JQuery
+first = ffi "%1['first']()"
+
+has :: String -> JQuery -> Fay JQuery
+has = ffi "%2['has'](%1)"
+
+hasElement :: Element -> JQuery -> Fay JQuery
+hasElement = ffi "%2['has'](%1)"
+
+is :: String -> JQuery -> Fay JQuery
+is = ffi "%2['is'](%1)"
+
+isWith :: (Double -> Bool) -> JQuery -> Fay JQuery
+isWith = ffi "%2['is'](%1)"
+
+isJQuery :: JQuery -> JQuery -> Fay JQuery
+isJQuery = ffi "%2['is'](%1)"
+
+isElement :: Element -> JQuery -> Fay JQuery
+isElement = ffi "%2['is'](%1)"
+
+last :: JQuery -> Fay JQuery
+last = ffi "%1['last']()"
+
+-- FIXME: is the return value of the callback right?
+jQueryMap :: (Double -> Element -> Fay JQuery) -> JQuery -> Fay JQuery
+jQueryMap = ffi "%2['map'](%1)"
+
+next :: JQuery -> Fay JQuery
+next = ffi "%1['next']()"
+
+nextSelector :: String -> JQuery -> Fay JQuery
+nextSelector = ffi "%2['next'](%1)"
+
+nextAll :: JQuery -> Fay JQuery
+nextAll = ffi "%1['nextAll']()"
+
+nextAllSelector :: String -> JQuery -> Fay JQuery
+nextAllSelector = ffi "%2['nextAll'](%1)"
+
+nextUntil :: String -> JQuery -> Fay JQuery
+nextUntil = ffi "%2['nextUntil'](%1)"
+
+nextUntilFiltered :: String -> String -> JQuery -> Fay JQuery
+nextUntilFiltered = ffi "%3['nextUntil'](%1, %2)"
+
+nextUntilElement :: Element -> JQuery -> Fay JQuery
+nextUntilElement = ffi "%2['nextUntil'](%1)"
+
+nextUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
+nextUntilElementFiltered = ffi "%3['nextUntil'](%1, %2)"
+
+not :: String -> JQuery -> Fay JQuery
+not = ffi "%2['not'](%1)"
+
+notElement :: Element -> JQuery -> Fay JQuery
+notElement = ffi "%2['not'](%1)"
+
+notElements :: [Element] -> JQuery -> Fay JQuery
+notElements = ffi "%2['not'](%1)"
+
+notWith :: (Double -> Bool) -> JQuery -> Fay JQuery
+notWith = ffi "%2['not'](%1)"
+
+notJQuery :: JQuery -> JQuery -> Fay JQuery
+notJQuery = ffi "%2['not'](%1)"
+
+offsetParent :: JQuery -> Fay JQuery
+offsetParent = ffi "%1['offsetParent']()"
+
+parent :: JQuery -> Fay JQuery
+parent = ffi "%1['parent']()"
+
+parentSelector :: String -> JQuery -> Fay JQuery
+parentSelector = ffi "%2['parent'](%1)"
+
+parents :: JQuery -> Fay JQuery
+parents = ffi "%1['parents']()"
+
+parentsSelector :: String -> JQuery -> Fay JQuery
+parentsSelector = ffi "%2['parents'](%1)"
+
+parentsUntil :: String -> JQuery -> Fay JQuery
+parentsUntil = ffi "%2['parentsUntil'](%1)"
+
+parentsUntilFiltered :: String -> String -> JQuery -> Fay JQuery
+parentsUntilFiltered = ffi "%3['parentsUntil'](%1, %2)"
+
+parentsUntilElement :: Element -> JQuery -> Fay JQuery
+parentsUntilElement = ffi "%2['parentsUntil'](%1)"
+
+parentsUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
+parentsUntilElementFiltered = ffi "%3['parentsUntil'](%1, %2)"
+
+prev :: JQuery -> Fay JQuery
+prev = ffi "%1['prev']()"
+
+prevSelector :: String -> JQuery -> Fay JQuery
+prevSelector = ffi "%2['prev'](%1)"
+
+prevAll :: JQuery -> Fay JQuery
+prevAll = ffi "%1['prevAll']()"
+
+prevAllSelector :: String -> JQuery -> Fay JQuery
+prevAllSelector = ffi "%2['prevAll'](%1)"
+
+prevUntil :: String -> JQuery -> Fay JQuery
+prevUntil = ffi "%2['prevUntil'](%1)"
+
+prevUntilFiltered :: String -> String -> JQuery -> Fay JQuery
+prevUntilFiltered = ffi "%3['prevUntil'](%1, %2)"
+
+prevUntilElement :: Element -> JQuery -> Fay JQuery
+prevUntilElement = ffi "%2['prevUntil'](%1)"
+
+prevUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
+prevUntilElementFiltered = ffi "%3['prevUntil'](%1, %2)"
+
+siblings :: JQuery -> Fay JQuery
+siblings = ffi "%1['siblings']()"
+
+siblingsSelector :: String -> JQuery -> Fay JQuery
+siblingsSelector = ffi "%2['siblings'](%1)"
+
+slice :: Double -> JQuery -> Fay JQuery
+slice = ffi "%2['slice'](%1)"
+
+sliceFromTo :: Double -> Double -> JQuery -> Fay JQuery
+sliceFromTo = ffi "%3['slice'](%1, %2)"
+
+data KeyCode = KeyUp
+             | KeyDown
+             | KeyLeft
+             | KeyRight
+             | KeyRet
+             | SomeKey Double
+  deriving (Show)
+
+onKeycode :: (KeyCode -> Fay Bool) -> JQuery -> Fay JQuery
+onKeycode callback el = do
+  _onKeycode (\code -> callback (case code of
+                                   38 -> KeyUp
+                                   40 -> KeyDown
+                                   37 -> KeyLeft
+                                   39 -> KeyRight
+                                   13 -> KeyRet
+                                   _  -> SomeKey code))
+             el
+
+_onKeycode :: (Double -> Fay Bool) -> JQuery -> Fay JQuery
+_onKeycode = ffi "%2['keycode'](%1)"
+
+unKeycode :: JQuery -> Fay JQuery
+unKeycode = ffi "%1['unkeycode']()"
+
+onClick :: (Event -> Fay Bool) -> JQuery -> Fay JQuery
+onClick = ffi "%2['click'](%1)"
+
+onChange :: (Fay ()) -> JQuery -> Fay JQuery
+onChange = ffi "%2['change'](%1)"
+
+onSubmit :: Fay Bool -> JQuery -> Fay JQuery
+onSubmit = ffi "%2['submit'](%1)"
+
+eventX :: Event -> JQuery -> Double
+eventX = ffi "%1['pageX'] - %2['get'](0)['offsetLeft']"
+
+eventY :: Event -> JQuery -> Double
+eventY = ffi "%1['pageY'] - %2['get'](0)['offsetTop']"
+
+onDblClick :: (Event -> Fay Bool) -> JQuery -> Fay JQuery
+onDblClick = ffi "%2['dblclick'](%1)"
+
+setDraggable :: JQuery -> Fay JQuery
+setDraggable = ffi "%1['draggable']()"
+
+validate :: JQuery -> Fay () -> Fay ()
+validate = ffi "%1['validate']({ \"submitHandler\": %2 })"
+
+onLivechange :: Fay () -> JQuery -> Fay JQuery
+onLivechange = ffi "%2['livechange'](50,%1)"
+
+-- vim implementation shortcut
+-- inoremap <F6> <ESC>:normal 0ywo<ESC>pa= ffi ""<ESC>F"i
+
+
+
+----
+---- Utilities
+----
diff --git a/src/Language/Fay/JQuery.hs b/src/Language/Fay/JQuery.hs
deleted file mode 100644
--- a/src/Language/Fay/JQuery.hs
+++ /dev/null
@@ -1,1066 +0,0 @@
-{-# LANGUAGE EmptyDataDecls    #-}
-{-# LANGUAGE RankNTypes        #-}
-
-module Language.Fay.JQuery where
-
-{--
-Note that this is very much in flux. Function names, type signatures, and
-data types all subject to drastic change.
---}
-
-import           FFI
-import           Prelude
-
-data JQuery
-
-data JQXHR
-
-type EventType = String
-
-type Selector = String
-
-
--- Things that should go in fay or fay-dom
-data Element
-
-data Document
-
-data Window
-
-data Object
-
-emptyCallback :: a -> Fay ()
-emptyCallback = const $ return ()
-
-----
----- Ajax
-----
-
-ajax :: String
-     -> (Automatic b -> Fay ())
-     -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
-     -> Fay ()
-ajax ur succ err = ajax' $ defaultAjaxSettings
-  { success = Defined succ
-  , data' = Undefined :: Defined String -- hackety hack
-  , error' = Defined err
-  , url = Defined ur }
-
--- | Serializes the given object to JSON and passes it as the request body without request parameters.
---   The response is deserialized depending on its type.
-ajaxPost :: String
-         -> Automatic f
-         -> (Automatic g -> Fay ())
-         -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
-         -> Fay ()
-ajaxPost ur dat succ err = ajax' $ defaultAjaxSettings
-  { success = Defined succ
-  , data' = Defined dat
-  , error' = Defined err
-  , url = Defined ur
-  , type' = Defined "POST"
-  , processData = Defined False
-  , contentType = Defined "text/json"
-  , dataType = Defined "json"
-  }
-
--- | Same as ajaxPost but sends the data inside the given request parameter
-ajaxPostParam :: String
-              -> String
-              -> Automatic f
-              -> (Automatic g -> Fay ())
-              -> (JQXHR -> Maybe String -> Maybe String -> Fay ())
-              -> Fay ()
-ajaxPostParam ur rqparam dat succ err = ajax' $ defaultAjaxSettings
-  { success = Defined succ
-  , data' = Defined $ makeRqObj rqparam dat
-  , error' = Defined err
-  , url = Defined ur
-  , type' = Defined "POST"
-  , processData = Defined False
-  , contentType = Defined "text/json"
-  , dataType = Defined "json"
-  }
-
-makeRqObj :: String -> a -> Object
-makeRqObj = ffi "(function () { var o = {}; o[%1] = %2; return o; })()"
-
-data AjaxSettings a b = AjaxSettings
-  { accepts     :: Defined String
-  , async       :: Defined Bool
-  , beforeSend  :: Defined (JQXHR -> AjaxSettings a b -> Fay ())
-  , cache       :: Defined Bool
-  , complete    :: Defined (JQXHR -> String -> Fay ())
-  -- , contents :: Defined (Object RegExp) -- skipped
-  , contentType :: Defined String
-  -- , context :: Defined Object -- skipped
-  -- , converters :: Defined (Object Value) -- skipped
-  , crossDomain :: Defined Bool
-  , data'       :: Defined a
-  -- , dataFilter  :: Defined (Data -> Type -> Fay ()) -- skipped
-  , dataType    :: Defined String
-  , error'      :: Defined (JQXHR -> Maybe String -> Maybe String -> Fay ())
-  , global      :: Defined Bool
-  -- , headers :: Object String -- need generic objects
-  , ifModified  :: Defined Bool
-  , isLocal     :: Defined Bool
-  -- , jsonp -- skipped
-  -- , jsonpCallback -- skipped
-  , mimeType    :: Defined String
-  , password    :: Defined String
-  , processData :: Defined Bool
-  -- , scriptCharset -- skipped
-  -- , statusCode -- skipped
-  , success     :: Defined (b -> Fay ())
-  , timeout     :: Defined Double
-  -- , traditional -- skipped
-  , type'       :: Defined String
-  , url         :: Defined String
-  , username    :: Defined String
-  -- , xhr :: XHR -- XHR needs to be added to fay-dom
-  }
-
-defaultAjaxSettings :: AjaxSettings a b
-defaultAjaxSettings = AjaxSettings
-  { accepts     = Undefined
-  , async       = Undefined
-  , beforeSend  = Undefined
-  , cache       = Undefined
-  , complete    = Undefined
-  , contentType = Undefined
-  , crossDomain = Undefined
-  , data'       = Undefined
-  , dataType    = Undefined
-  , error'      = Undefined
-  , global      = Undefined
-  , ifModified  = Undefined
-  , isLocal     = Undefined
-  , mimeType    = Undefined
-  , password    = Undefined
-  , processData = Undefined
-  , success     = Undefined
-  , timeout     = Undefined
-  , type'       = Undefined
-  , url         = Undefined
-  , username    = Undefined
-  }
-
-ajax' :: AjaxSettings (Automatic a) (Automatic b) -> Fay ()
-ajax' = ffi "\
-  \ (function (o) { \
-    \ delete o['instance']; \
-    \ for (var p in o) { \
-      \ if (/\\$39\\$/.test(p)) { \
-        \ o[p.replace(/\\$39\\$/g, '')] = o[p]; \
-        \ delete o[p]; \
-      \ } \
-    \ } \
-    \ console.log(o); \
-    \ return jQuery.ajax(o); \
-  \ })(%1)"
-
-----
----- Attributes
-----
-
-addClass :: String -> JQuery -> Fay JQuery
-addClass = ffi "%2['addClass'](%1)"
-
--- FIXME: https://github.com/chrisdone/fay/issues/38
-addClassWith :: (Double -> String -> Fay String) -> JQuery -> Fay JQuery
-addClassWith = ffi "%2['addClass'](%1)"
-
-getAttr :: String -> JQuery -> Fay String
-getAttr = ffi "%2['attr'](%1)"
-
-setAttr :: String -> String -> JQuery -> Fay JQuery
-setAttr = ffi "%3['attr'](%1, %2)"
-
--- TODO: setAttrs with map
-
-setAttrWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
-setAttrWith = ffi "%3['attr'](%1, %2)"
-
-hasClass :: String -> JQuery -> Fay Bool
-hasClass = ffi "%2['hasClass'](%1)"
-
-getHtml :: JQuery -> Fay String
-getHtml = ffi "%1['html']()"
-
-setHtml :: String -> JQuery -> Fay JQuery
-setHtml = ffi "%2['html'](%1)"
-
-setHtmlWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
-setHtmlWith = ffi "%2['html'](%1)"
-
--- TODO: html with props
-
-getProp :: String -> JQuery -> Fay String
-getProp = ffi "%2['prop'](%1)"
-
-setProp :: String -> String -> JQuery -> Fay JQuery
-setProp = ffi "%3['prop'](%1, %2)"
-
--- TODO: setProp with map
-
-setPropWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
-setPropWith = ffi "%3['prop'](%1, %2)"
-
-removeAttr :: String -> JQuery -> Fay JQuery
-removeAttr = ffi "%2['removeAttr'](%1)"
-
-removeClass :: String -> JQuery -> Fay JQuery
-removeClass = ffi "%2['removeClass'](%1)"
-
-removeClassWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
-removeClassWith = ffi "%2['removeClass'](%1)"
-
-removeProp :: String -> JQuery -> Fay JQuery
-removeProp = ffi "%2['removeProp'](%1)"
-
-toggleClass :: String -> JQuery -> Fay JQuery
-toggleClass = ffi "%2['toggleClass'](%1)"
-
-toggleClassBool :: String -> Bool -> JQuery -> Fay JQuery
-toggleClassBool = ffi "%3['toggleClass'](%1, %2)"
-
-toggleAllClasses :: Bool -> JQuery -> Fay JQuery
-toggleAllClasses = ffi "%2['toggleClass'](%1)"
-
-toggleClassWith :: (Double -> String -> Bool -> Fay JQuery) -> JQuery -> Fay JQuery
-toggleClassWith = ffi "%2['toggleClass'](%1)"
-
-toggleClassBoolWith :: (Double -> String -> Bool -> Fay JQuery) -> Bool -> JQuery -> Fay JQuery
-toggleClassBoolWith = ffi "%3['toggleClass'](%1, %2)"
-
-getVal :: JQuery -> Fay String
-getVal = ffi "%1['val']()"
-
-setVal :: String -> JQuery -> Fay JQuery
-setVal = ffi "%2['val'](%1)"
-
-setValWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
-setValWith = ffi "%2['val'](%1)"
-
-setText :: String -> JQuery -> Fay JQuery
-setText = ffi "%2['text'](%1)"
-
-setTextWith :: (Double -> String -> Fay JQuery) -> JQuery -> Fay JQuery
-setTextWith = ffi "%2['text'](%1)"
-
-getText :: JQuery -> Fay String
-getText = ffi "%1['text']()"
-
-----
----- Core
-----
-
-holdReady :: Bool -> Fay JQuery
-holdReady = ffi "jQuery['holdReady'](%1)"
-
--- jQuery()
-selectElement :: Element -> Fay JQuery
-selectElement = ffi "jQuery(%1)"
-
-selectObject :: a -> Fay JQuery
-selectObject = ffi "jQuery(%1)"
-
-select :: String -> Fay JQuery
-select = ffi "jQuery(%1)"
-
-selectEmpty :: Fay JQuery
-selectEmpty = ffi "jQuery()"
-
-createJQuery :: String -> a -> Fay JQuery
-createJQuery = ffi "jQuery(%1, %2)"
-
-ready :: Fay () -> Fay ()
-ready = ffi "jQuery(%1)"
--- end jQuery()
-
--- is noConflict useful in the context of Fay?
-noConflict :: Fay JQuery
-noConflict = ffi "jQuery['noConflict']()"
-
-noConflictBool :: Bool -> Fay JQuery
-noConflictBool = ffi "jQuery['noConflict'](%1)"
-
--- TODO: jQuery['sub']()
-
--- TODO: jQuery['when'](): figure out Deferred first
-
-----
----- CSS
-----
-
-getCss :: String -> JQuery -> Fay String
-getCss = ffi "%2['css'](%1)"
-
-setCss :: String -> String -> JQuery -> Fay JQuery
-setCss = ffi "%3['css'](%1, %2)"
-
-setCssWith :: String -> (Double -> String -> Fay String) -> JQuery -> Fay JQuery
-setCssWith = ffi "%3['css'](%1, %2)"
-
-getHeight :: JQuery -> Fay Double
-getHeight = ffi "%1['height']()"
-
-setHeight :: Double -> JQuery -> Fay JQuery
-setHeight = ffi "%2['height'](%1)"
-
-setHeightWith :: (Double -> Double -> Fay Double) -> JQuery -> Fay JQuery
-setHeightWith = ffi "%2['height'](%1)"
-
-getInnerHeight :: JQuery -> Fay Double
-getInnerHeight = ffi "%1['innerHeight']()"
-
-getInnerWidth :: JQuery -> Fay Double
-getInnerWidth = ffi "%1['innerWidth']()"
-
--- TODO: figure out how to marshal coordinates
---getOffset :: JQuery -> Fay
---getOffset = ffi "%1['offset']()"
-
---setOffset
---setOffsetWith
-
--- TODO: css with map
-
--- TODO: cssHooks
-
-getOuterHeight :: JQuery -> Fay Double
-getOuterHeight = ffi "%1['outerHeight']()"
-
--- FIXME: better name
-getOuterHeightBool :: Bool -> JQuery -> Fay Double
-getOuterHeightBool = ffi "%2['outerHeight'](%1)"
-
-getOuterWidth :: JQuery -> Fay Double
-getOuterWidth = ffi "%1['outerWidth']()"
-
-getOuterWidthBool :: Bool -> JQuery -> Fay Double
-getOuterWidthBool = ffi "%2['outerWidth'](%1)"
-
--- TODO: marshal coordinates as in offset()
--- getPosition
-
-getScrollLeft :: JQuery -> Fay Double
-getScrollLeft = ffi "%1['scrollLeft']()"
-
-setScrollLeft :: Double -> JQuery -> Fay JQuery
-setScrollLeft = ffi "%2['scrollLeft'](%1)"
-
-getScrollTop :: JQuery -> Fay Double
-getScrollTop = ffi "%1['scrollTop']()"
-
-setScrollTop :: Double -> JQuery -> Fay JQuery
-setScrollTop = ffi "%2['scrollTop'](%1)"
-
-getWidth :: JQuery -> Fay Double
-getWidth = ffi "%1['width']()"
-
-setWidth :: Double -> JQuery -> Fay JQuery
-setWidth = ffi "%2['width'](%1)"
-
-setWidthWith :: (Double -> Double -> Fay Double) -> JQuery -> Fay JQuery
-setWidthWith = ffi "%2['width'](%1)"
-
-
-----
----- Data
-----
-
-----
----- Deferred Object
-----
-
-----
----- Effects
-----
-
---
--- Basics
---
-
-data AnimationType = Show | Hide | Toggle | FadeIn | FadeOut | FadeToggle
-
-data Speed = Instantly | Slow | Fast | Speed Double
-
-data Animation = Animation
-  { _type :: AnimationType
-  , _speed :: Speed
-  , _nextAnimation :: Maybe Animation
-  , _element :: JQuery
-  }
-
-anim :: AnimationType -> JQuery -> Animation
-anim ty el = Animation ty Fast Nothing el
-
-speed :: Speed -> Animation -> Animation
-speed spd anim = anim { _speed = spd }
-
-chainAnim :: Animation -> Animation -> Animation
-chainAnim a1 a2 = a1 { _nextAnimation = Just a2 }
-
-chainAnims :: [Animation] -> Animation
-chainAnims [a] = a
-chainAnims (a:as) = a `chainAnim` chainAnims as
-
-runAnimation :: Animation -> Fay ()
-runAnimation a = do
-  animate (_type a) (_speed a) cb (_element a) >> return ()
-    where
-      cb = case _nextAnimation a of
-                Just a2 -> const (runAnimation a2)
-                Nothing -> const (return ())
-
-animate :: AnimationType -> Speed -> (JQuery -> Fay ()) -> JQuery -> Fay JQuery
-animate = ffi "%4[(function () { \
-      \ switch (%1['instance']) { \
-        \ case 'FadeIn': return 'fadeIn'; \
-        \ case 'FadeOut': return 'fadeOut'; \
-        \ case 'FadeToggle': return 'fadeToggle'; \
-        \ default: return %1['instance']['toLowerCase'](); \
-      \ } \
-    \ })()]((function () { \
-    \ if (%2['instance'] == 'Slow') { \
-      \ return 'slow'; \
-    \ } else if (%2['instance'] == 'Instantly') { \
-      \ return null; \
-    \ } else if (%2['instance'] == 'Fast') { \
-      \ return 'fast'; \
-    \ } else { \
-      \ return %2['slot1']; \
-    \ } \
-  \ })(), function() { \
-     \ %3(jQuery(this)); \
-  \ })"
-
-hide :: Speed -> JQuery -> Fay JQuery
-hide spd = animate Hide spd emptyCallback
-
-unhide :: JQuery -> Fay JQuery
-unhide = ffi "%1['show']()"
-
-jshow :: Speed -> JQuery -> Fay JQuery
-jshow spd = animate Show spd emptyCallback
-
-toggle :: Speed -> JQuery -> Fay JQuery
-toggle spd = animate Toggle spd emptyCallback
-
---
--- Fading
---
-
-fadeIn :: Speed -> JQuery -> Fay JQuery
-fadeIn spd = animate FadeIn spd emptyCallback
-
-fadeOut :: Speed -> JQuery -> Fay JQuery
-fadeOut spd = animate FadeOut spd emptyCallback
-
--- TODO fadeTo
-
-fadeToggle :: Speed -> JQuery -> Fay JQuery
-fadeToggle spd = animate FadeToggle spd emptyCallback
-
-----
----- Events
-----
-
---
--- Browser Events
---
-
--- Skip error(), deprecated
-
-resize :: (Event -> Fay ()) -> JQuery -> Fay ()
-resize = ffi "%2['resize'](%1)"
-
-scroll :: (Event -> Fay ()) -> JQuery -> Fay ()
-scroll = ffi "%2['scroll'](%1)"
-
---
--- Document Loading
---
-
-load :: (Event -> Fay()) -> JQuery -> Fay ()
-load = ffi "%2['load'](%1)"
-
-documentReady :: (Event -> Fay ()) -> Document -> Fay ()
-documentReady = ffi "jQuery(%2)['ready'](%1)"
-
-unload :: (Event -> Fay()) -> Window -> Fay ()
-unload = ffi "jQuery(%2)['unload'](%1)"
-
---
--- Mouse Events
---
-
-click :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-click = ffi "%2['click'](%1)"
-
-dblclick :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-dblclick = ffi "%2['dblclick'](%1)"
-
-focusin :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-focusin = ffi "%2['focusin'](%1)"
-
-focusout :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-focusout = ffi "%2['focusout'](%1)"
-
-hover :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-hover = ffi "%2['hover'](%1)"
-
-mousedown :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mousedown = ffi "%2['mousedown'](%1)"
-
-mouseenter :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mouseenter = ffi "%2['mouseenter'](%1)"
-
-mouseleave :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mouseleave = ffi "%2['mouseleave'](%1)"
-
-mousemove :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mousemove = ffi "%2['mousemove'](%1)"
-
-mouseout :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mouseout = ffi "%2['mouseout'](%1)"
-
-mouseover :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mouseover = ffi "%2['mouseover'](%1)"
-
-mouseup :: (Event -> Fay ()) -> JQuery -> Fay JQuery
-mouseup = ffi "%2['mouseup'](%1)"
-
--- Argument splat since an arbitrary number of events can be attached.
--- `toggle` in jQuery but clashes with the `toggle` animation.
-toggleEvents :: [Event -> Fay ()] -> JQuery -> Fay ()
-toggleEvents = ffi "%2['toggle']['apply'](%2, %1)"
-
-
---
--- Event Handler Attachment
---
-
-bind :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
-bind = ffi "%3['bind'](%1, %2)"
-
-bindPreventBubble :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
-bindPreventBubble = ffi "%3['bind'](%1,%2,false)"
-
--- delegate() superceeded by on()
--- die() deprecated
--- live() deprecated
--- off() TODO how should this be handled?
-
-on :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
-on = ffi "%3['on'](%1, %2)"
-
-onDelegate :: EventType -> Selector -> (Event -> Fay()) -> JQuery -> Fay ()
-onDelegate = ffi "%4['on'](%1,%2,%3)"
-
-one :: EventType -> (Event -> Fay ()) -> JQuery -> Fay ()
-one = ffi "%3['one'](%1, %2)"
-
-trigger :: EventType -> JQuery -> Fay ()
-trigger = ffi "%2['trigger'](%1)"
-
-triggerHandler :: EventType -> JQuery -> Fay ()
-triggerHandler = ffi "%2['triggerHandler'](%1)"
-
-
--- unbind() not useful in Fay?
--- undelegate() not useful in Fay?
-
---
--- Event Object
---
-
--- event.data skipped
-
-data Event
-
-delegateTarget :: Event -> Fay Element
-delegateTarget = ffi "jQuery(%1['delegateTarget'])"
-
-isDefaultPrevented :: Event -> Fay Bool
-isDefaultPrevented = ffi "%1['isDefaultPrevented']()"
-
-isImmediatePropagationStopped :: Event -> Fay Bool
-isImmediatePropagationStopped = ffi "%1['isImmediatePropagationStopped']()"
-
-isPropagationStopped :: Event -> Fay Element
-isPropagationStopped = ffi "%1['isPropagationStopped']()"
-
-namespace :: Event -> Fay String
-namespace = ffi "%1['namespace']"
-
-pageX :: Event -> Fay Double
-pageX = ffi "%1['pageX']"
-
-pageY :: Event -> Fay Double
-pageY = ffi "%1['pageY']"
-
-preventDefault :: Event -> Fay ()
-preventDefault = ffi "%1['preventDefault']()"
-
-target :: Event -> Fay Element
-target = ffi "%1['target']"
-
-timeStamp :: Event -> Fay Double
-timeStamp = ffi "%1['timeStamp']"
-
-eventType :: Event -> Fay String
-eventType = ffi "%1['type']"
-
-which :: Event -> Fay Int
-which = ffi "%1['which']"
-
---
--- Form Events
---
-
-blur :: (Event -> Fay ()) -> JQuery -> Fay ()
-blur = ffi "%2['blur'](%1)"
-
-change :: (Event -> Fay ()) -> JQuery -> Fay ()
-change = ffi "%2['change'](%1)"
-
-onFocus :: (Event -> Fay ()) -> JQuery -> Fay ()
-onFocus = ffi "%2['focus'](%1)"
-
-focus :: JQuery -> Fay JQuery
-focus = ffi "%1['focus']()"
-
--- TODO `select` would clash with the other select definition, should it be renamed?
-onselect :: (Event -> Fay ()) -> JQuery -> Fay ()
-onselect = ffi "%2['select'](%1)"
-
-submit  :: (Event -> Fay ()) -> JQuery -> Fay ()
-submit = ffi "%2['submit'](%1)"
-
---
--- Keyboard Events
---
-
-keydown :: (Event -> Fay ()) -> JQuery -> Fay ()
-keydown = ffi "%2['keydown'](%1)"
-
-keypress :: (Event -> Fay ()) -> JQuery -> Fay ()
-keypress = ffi "%2['keypress'](%1)"
-
-keyup :: (Event -> Fay ()) -> JQuery -> Fay ()
-keyup = ffi "%2['keyup'](%1)"
-
-----
----- Forms
-----
-
-----
----- Internals
-----
-
-----
----- Manipulation
-----
-
--- Is there a better way to constrain the type here?
-after :: a -> JQuery -> Fay JQuery
-after = ffi "%2['after'](%1)"
-
-afterWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
-afterWith = ffi "%2['after'](%1)"
-
-append :: a -> JQuery -> Fay JQuery
-append = ffi "%2['append'](%1)"
-
-appendJQuery :: JQuery -> JQuery -> Fay JQuery
-appendJQuery = ffi "%2['append'](%1)"
-
-
-appendWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
-appendWith = ffi "%2['append'](%1)"
-
-appendTo :: a -> JQuery -> Fay JQuery
-appendTo = ffi "%2['appendTo'](%1)"
-
-appendToJQuery :: JQuery -> JQuery -> Fay JQuery
-appendToJQuery = ffi "%2['appendTo'](%1)"
-
-
-
-before :: a -> JQuery -> Fay JQuery
-before = ffi "%2['before'](%1)"
-
-beforeWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
-beforeWith = ffi "%2['before'](%1)"
-
-data CloneType = WithoutDataAndEvents | WithDataAndEvents | DeepWithDataAndEvents
-
-clone :: CloneType -> JQuery -> Fay JQuery
-clone WithoutDataAndEvents  = ffi "%2['clone'](false)"
-clone WithDataAndEvents     = ffi "%2['clone'](true, false)"
-clone DeepWithDataAndEvents = ffi "%2['clone'](true, true)"
-
-detach :: JQuery -> Fay JQuery
-detach = ffi "%1['detach']()"
-
-detachSelector :: String -> JQuery -> Fay JQuery
-detachSelector = ffi "%2['detach'](%1)"
-
-empty :: JQuery -> Fay JQuery
-empty = ffi "%1['empty']()"
-
-insertAfter :: JQuery -> Fay JQuery
-insertAfter = ffi "%2['insertAfter'](%1)"
-
-insertBefore :: JQuery -> Fay JQuery
-insertBefore = ffi "%2['insertBefore'](%1)"
-
-prepend :: JQuery -> Fay JQuery
-prepend = ffi "%2['prepend'](%1)"
-
-prependWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
-prependWith = ffi "%2['prepend'](%1)"
-
-prependTo :: JQuery -> Fay JQuery
-prependTo = ffi "%2['prependTo'](%1)"
-
-remove :: JQuery -> Fay JQuery
-remove = ffi "%1['remove']()"
-
-removeSelector :: String -> JQuery -> Fay JQuery
-removeSelector = ffi "%2['remove'](%1)"
-
-replaceAll :: String -> JQuery -> Fay JQuery
-replaceAll = ffi "%2['replaceAll'](%1)"
-
--- FIXME: create other forms of replaceWith
-replaceWith :: String -> JQuery -> Fay JQuery
-replaceWith = ffi "%2['replaceWith'](%1)"
-
-replaceWithJQuery :: JQuery -> JQuery -> Fay JQuery
-replaceWithJQuery = ffi "%2['replaceWith'](%1)"
-
--- FIXME: this name matches convention, but it's kind of silly
-replaceWithWith :: (Fay JQuery) -> JQuery -> Fay JQuery
-replaceWithWith = ffi "%2['replaceWith'](%1)"
-
-unwrap :: JQuery -> Fay JQuery
-unwrap = ffi "%1['unwrap']()"
-
--- FIXME: create other forms of wrap
-wrap :: String -> JQuery -> Fay JQuery
-wrap = ffi "%2['wrap'](%1)"
-
-wrapWith :: (Double -> Fay JQuery) -> JQuery -> Fay JQuery
-wrapWith = ffi "%2['wrap'](%1)"
-
-wrapAllHtml :: String -> JQuery -> Fay JQuery
-wrapAllHtml = ffi "%2['wrapAll'](%1)"
-
-wrapAllSelector :: String -> JQuery -> Fay JQuery
-wrapAllSelector = ffi "%2['wrapAll'](%1)"
-
-wrapAllElement :: Element -> JQuery -> Fay JQuery
-wrapAllElement = ffi "%2['wrapAll'](%1)"
-
-wrapInnerHtml :: String -> JQuery -> Fay JQuery
-wrapInnerHtml = ffi "%2['wrapInner'](%1)"
-
-wrapInnerSelector :: String -> JQuery -> Fay JQuery
-wrapInnerSelector = ffi "%2['wrapInner'](%1)"
-
-wrapInnerElement :: Element -> JQuery -> Fay JQuery
-wrapInnerElement = ffi "%2['wrapInner'](%1)"
-
-
-----
----- Miscellaneous
-----
-
-----
----- Offset
-----
-
-----
----- Plugins
-----
-
-----
----- Properties
-----
-
-----
----- Selectors
-----
-
-----
----- Traversing
-----
-
--- TODO: unify these under a typeclass?
-addSelector :: String -> JQuery -> Fay JQuery
-addSelector = ffi "%2['add'](%1)"
-
-addElement :: Element -> JQuery -> Fay JQuery
-addElement = ffi "%2['add'](%1)"
-
-addHtml :: String -> JQuery -> Fay JQuery
-addHtml = ffi "%2['add'](%1)"
-
-add :: JQuery -> JQuery -> Fay JQuery
-add = ffi "%2['add'](%1)"
-
-addSelectorWithContext :: String -> JQuery -> JQuery -> Fay JQuery
-addSelectorWithContext = ffi "%3['add'](%1, %2)"
-
-andSelf :: JQuery -> Fay JQuery
-andSelf = ffi "%1['andSelf']()"
-
-children :: JQuery -> Fay JQuery
-children = ffi "%1['children']()"
-
-childrenMatching :: String -> JQuery -> Fay JQuery
-childrenMatching = ffi "%2['children'](%1)"
-
-closestSelector :: String -> JQuery -> Fay JQuery
-closestSelector = ffi "%2['closest'](%1)"
-
--- TODO: is context really a string?
-closestWithContext :: String -> String -> JQuery -> Fay JQuery
-closestWithContext = ffi "%3['closest'](%1, %2)"
-
-closest :: JQuery -> JQuery -> Fay JQuery
-closest = ffi "%2['closest'](%1)"
-
-closestElement :: Element -> JQuery -> Fay JQuery
-closestElement = ffi "%2['closest'](%1)"
-
--- TODO: include deprecated array-based signature?
-
-contents :: JQuery -> Fay JQuery
-contents = ffi "%1['contents']()"
-
--- This just isn't cool[' Can']'t we all just use map?
-each :: (Double -> Element -> Fay Bool) -> JQuery -> Fay JQuery
-each = ffi "%2['each'](%1)"
-
-end :: JQuery -> Fay JQuery
-end = ffi "%1['end']()"
-
-eq :: Double -> JQuery -> Fay JQuery
-eq = ffi "%2['eq'](%1)"
-
-filter :: String -> JQuery -> Fay JQuery
-filter = ffi "%2['filter'](%1)"
-
-filterWith :: (Double -> Fay Bool) -> JQuery -> Fay JQuery
-filterWith = ffi "%2['filter'](%1)"
-
-filterElement :: Element -> JQuery -> Fay JQuery
-filterElement = ffi "%2['filter'](%1)"
-
-filterJQuery :: JQuery -> JQuery -> Fay JQuery
-filterJQuery = ffi "%2['filter'](%1)"
-
--- FIXME: not called find because Fay doesn't seem to deal well with name conflicts yet
-findSelector :: String -> JQuery -> Fay JQuery
-findSelector = ffi "%2['find'](%1)"
-
-findJQuery :: JQuery -> JQuery -> Fay JQuery
-findJQuery = ffi "%2['find'](%1)"
-
-findElement :: Element -> JQuery -> Fay JQuery
-findElement = ffi "%2['find'](%1)"
-
-first :: JQuery -> Fay JQuery
-first = ffi "%1['first']()"
-
-has :: String -> JQuery -> Fay JQuery
-has = ffi "%2['has'](%1)"
-
-hasElement :: Element -> JQuery -> Fay JQuery
-hasElement = ffi "%2['has'](%1)"
-
-is :: String -> JQuery -> Fay JQuery
-is = ffi "%2['is'](%1)"
-
-isWith :: (Double -> Bool) -> JQuery -> Fay JQuery
-isWith = ffi "%2['is'](%1)"
-
-isJQuery :: JQuery -> JQuery -> Fay JQuery
-isJQuery = ffi "%2['is'](%1)"
-
-isElement :: Element -> JQuery -> Fay JQuery
-isElement = ffi "%2['is'](%1)"
-
-last :: JQuery -> Fay JQuery
-last = ffi "%1['last']()"
-
--- FIXME: is the return value of the callback right?
-jQueryMap :: (Double -> Element -> Fay JQuery) -> JQuery -> Fay JQuery
-jQueryMap = ffi "%2['map'](%1)"
-
-next :: JQuery -> Fay JQuery
-next = ffi "%1['next']()"
-
-nextSelector :: String -> JQuery -> Fay JQuery
-nextSelector = ffi "%2['next'](%1)"
-
-nextAll :: JQuery -> Fay JQuery
-nextAll = ffi "%1['nextAll']()"
-
-nextAllSelector :: String -> JQuery -> Fay JQuery
-nextAllSelector = ffi "%2['nextAll'](%1)"
-
-nextUntil :: String -> JQuery -> Fay JQuery
-nextUntil = ffi "%2['nextUntil'](%1)"
-
-nextUntilFiltered :: String -> String -> JQuery -> Fay JQuery
-nextUntilFiltered = ffi "%3['nextUntil'](%1, %2)"
-
-nextUntilElement :: Element -> JQuery -> Fay JQuery
-nextUntilElement = ffi "%2['nextUntil'](%1)"
-
-nextUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
-nextUntilElementFiltered = ffi "%3['nextUntil'](%1, %2)"
-
-not :: String -> JQuery -> Fay JQuery
-not = ffi "%2['not'](%1)"
-
-notElement :: Element -> JQuery -> Fay JQuery
-notElement = ffi "%2['not'](%1)"
-
-notElements :: [Element] -> JQuery -> Fay JQuery
-notElements = ffi "%2['not'](%1)"
-
-notWith :: (Double -> Bool) -> JQuery -> Fay JQuery
-notWith = ffi "%2['not'](%1)"
-
-notJQuery :: JQuery -> JQuery -> Fay JQuery
-notJQuery = ffi "%2['not'](%1)"
-
-offsetParent :: JQuery -> Fay JQuery
-offsetParent = ffi "%1['offsetParent']()"
-
-parent :: JQuery -> Fay JQuery
-parent = ffi "%1['parent']()"
-
-parentSelector :: String -> JQuery -> Fay JQuery
-parentSelector = ffi "%2['parent'](%1)"
-
-parents :: JQuery -> Fay JQuery
-parents = ffi "%1['parents']()"
-
-parentsSelector :: String -> JQuery -> Fay JQuery
-parentsSelector = ffi "%2['parents'](%1)"
-
-parentsUntil :: String -> JQuery -> Fay JQuery
-parentsUntil = ffi "%2['parentsUntil'](%1)"
-
-parentsUntilFiltered :: String -> String -> JQuery -> Fay JQuery
-parentsUntilFiltered = ffi "%3['parentsUntil'](%1, %2)"
-
-parentsUntilElement :: Element -> JQuery -> Fay JQuery
-parentsUntilElement = ffi "%2['parentsUntil'](%1)"
-
-parentsUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
-parentsUntilElementFiltered = ffi "%3['parentsUntil'](%1, %2)"
-
-prev :: JQuery -> Fay JQuery
-prev = ffi "%1['prev']()"
-
-prevSelector :: String -> JQuery -> Fay JQuery
-prevSelector = ffi "%2['prev'](%1)"
-
-prevAll :: JQuery -> Fay JQuery
-prevAll = ffi "%1['prevAll']()"
-
-prevAllSelector :: String -> JQuery -> Fay JQuery
-prevAllSelector = ffi "%2['prevAll'](%1)"
-
-prevUntil :: String -> JQuery -> Fay JQuery
-prevUntil = ffi "%2['prevUntil'](%1)"
-
-prevUntilFiltered :: String -> String -> JQuery -> Fay JQuery
-prevUntilFiltered = ffi "%3['prevUntil'](%1, %2)"
-
-prevUntilElement :: Element -> JQuery -> Fay JQuery
-prevUntilElement = ffi "%2['prevUntil'](%1)"
-
-prevUntilElementFiltered :: Element -> String -> JQuery -> Fay JQuery
-prevUntilElementFiltered = ffi "%3['prevUntil'](%1, %2)"
-
-siblings :: JQuery -> Fay JQuery
-siblings = ffi "%1['siblings']()"
-
-siblingsSelector :: String -> JQuery -> Fay JQuery
-siblingsSelector = ffi "%2['siblings'](%1)"
-
-slice :: Double -> JQuery -> Fay JQuery
-slice = ffi "%2['slice'](%1)"
-
-sliceFromTo :: Double -> Double -> JQuery -> Fay JQuery
-sliceFromTo = ffi "%3['slice'](%1, %2)"
-
-data KeyCode = KeyUp
-             | KeyDown
-             | KeyLeft
-             | KeyRight
-             | KeyRet
-             | SomeKey Double
-  deriving (Show)
-
-onKeycode :: (KeyCode -> Fay Bool) -> JQuery -> Fay JQuery
-onKeycode callback el = do
-  _onKeycode (\code -> callback (case code of
-                                   38 -> KeyUp
-                                   40 -> KeyDown
-                                   37 -> KeyLeft
-                                   39 -> KeyRight
-                                   13 -> KeyRet
-                                   _  -> SomeKey code))
-             el
-
-_onKeycode :: (Double -> Fay Bool) -> JQuery -> Fay JQuery
-_onKeycode = ffi "%2['keycode'](%1)"
-
-unKeycode :: JQuery -> Fay JQuery
-unKeycode = ffi "%1['unkeycode']()"
-
-onClick :: (Event -> Fay Bool) -> JQuery -> Fay JQuery
-onClick = ffi "%2['click'](%1)"
-
-onChange :: (Fay ()) -> JQuery -> Fay JQuery
-onChange = ffi "%2['change'](%1)"
-
-onSubmit :: Fay Bool -> JQuery -> Fay JQuery
-onSubmit = ffi "%2['submit'](%1)"
-
-eventX :: Event -> JQuery -> Double
-eventX = ffi "%1['pageX'] - %2['get'](0)['offsetLeft']"
-
-eventY :: Event -> JQuery -> Double
-eventY = ffi "%1['pageY'] - %2['get'](0)['offsetTop']"
-
-onDblClick :: (Event -> Fay Bool) -> JQuery -> Fay JQuery
-onDblClick = ffi "%2['dblclick'](%1)"
-
-setDraggable :: JQuery -> Fay JQuery
-setDraggable = ffi "%1['draggable']()"
-
-validate :: JQuery -> Fay () -> Fay ()
-validate = ffi "%1['validate']({ \"submitHandler\": %2 })"
-
-onLivechange :: Fay () -> JQuery -> Fay JQuery
-onLivechange = ffi "%2['livechange'](50,%1)"
-
--- vim implementation shortcut
--- inoremap <F6> <ESC>:normal 0ywo<ESC>pa= ffi ""<ESC>F"i
-
-
-
-----
----- Utilities
-----